Tag: menor número positivo acima de representáveis em formato normalizado